first order logic solved questions